package coverage;

public class RunRandoopFibHeap {
public static void main(String[] args) {
		
	    args = new String[]{"gentests", "--testclass=fibheap.FibHeap", "--testclass=fibheap.Node",
	        "--junit-classname=RandoopTestFibHeap", "--junit-output-dir=./subjects",
	        "--junit-package-name=coverage.randoopgen", "--timelimit=50"};
	    randoop.main.Main.main(args);
	  }
}
